infix object ToplevelInfixObject // error
